Towards exactness in geomorphometry

Geomorphometry: A Brief Guide

Geomorphometry is the science of quantitative land-surface analysis (Pike, 1995, 2000a; Rasemann et al., 2004). It is a modern, analytical-cartographic approach to representing bare-earth topography by the computer manipulation of terrain height (Tobler, 1976, 2000). Geomorphometry is an interdisciplinary field that has evolved from mathematics, the Earth sciences, and — most recently — compute...

Geomorphometry – diversity in quantitative surface analysis

A widening variety of applications is diversifying geomorphometry (digital terrain modelling), the quantitative study of topography. An amalgam of earth science, mathematics, engineering and computer science, the discipline has been revolutionized by the computer manipulation of gridded terrain heights, or digital elevation models (DEMs). Its rapid expansion continues. This article reviews the ...

Model of landslide hazard zonation and its effective factors using quantitative geomorphology (Case Study: Sanich region, Yazd)

Landslide can be considered as one of the important challenges of nature that affects natural areas and human societies. Several factors such as physical characteristics of the watershed, geology, soil structure, meteorology and hydrology are the most important environmental factors affecting in the landslide event. In order to reduce damage, landslide zoning have significant role in management...

The Exact Unification Type of Commutative Theories

The exact unification type of an equational theory is based on a new preorder on substitutions, called the exactness preorder, which is tailored towards transferring decidability results for unification to disunification. We show that two important results regarding the unification type of commutative theories hold not only for the usual instantiation preorder, but also for the exactness preord...

Multiscale analysis of hillslope height for geomorphometry